<?php
if ($_GET['dtd']) {
	echo
'<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
';

	$iePatch['width']	= '';
	$iePatch['height']	= '';

} else {
	echo
'<html>
';

	$iePatch['width']	= 'width:140px;';
	$iePatch['height']	= 'height:140px;';

}
?>
<title>Box</title>
<head>
<style type="text/css">

#container	{width:200px; height: 200px; border:2px solid black; background-color:#bbb;}

#box	{

	border:2px solid red;
	background-color:green;

	padding:10px;
	margin:10px;

	width:160px !important;		/* For Modern Browsers */
	<?php echo $iePatch['width'] ?>


	height:160px !important;	/* For Modern Browsers */
	<?php echo $iePatch['height'] ?>


}

</style>
</head>

<body>

<div id="container">

<div id="box">

</div>

</div>

</body>
</html>